Cultural Learning Redux.

The Redux 0 Server

Redux 0 is a subset of the full REDUX modell7]. The latter performs problem solving. In contrast Redux 0 does not and acts only as a decision maintenance server. It takes objects of types deened in an ontology of decision components and maintains dependencies between them. Redux 0 is domain-independent. The dependency relationships are maintained on the basis of proposition type and not content...

Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search

In 1997 we presented ten challenges for research on satisfiability testing [1]. In this paper we review recent progress towards each of these challenges, including our own work on the power of clause learning and randomized restart policies.

Rubber gloves redux.

Rural Europe Redux

Rural Europe Redux? Reflections on Alternative Agro-Food Networks and Paradigm Change David Goodman Department of Environmental Studies University of California, Santa Cruz **Forthcoming in Sociologia Ruralis (2004), 44 (1)**

Birkhoff for Lovelock Redux

We show succinctly that all metric theories with second order field equations obey Birkhoff's theorem: their spherically symmetric solutions are static.